#include "kernel/types.h"
#include "kernel/stat.h"
#include "user/user.h"

int main(int argc, char *argv[])
{
  if(argc <= 1){
    fprintf(2, "Usage: sleep ticks\n");
    exit();
  }

  int ticks = atoi(argv[1]);
  sleep(ticks);

  exit();
}
